// PR c++/114275
// { dg-additional-options "-fmodules-ts" }

import M;
int main() { fun(); }
